#include <board.h>
#include <rtthread.h>
#include <rtdevice.h>

#define DBG_TAG "board"
#define DBG_LVL DBG_INFO
#include <rtdbg.h>

void system_clock_config(int target_freq_mhz)
{
}

void clk_init(char *clk_source, int source_freq, int target_freq)
{
	system_clock_config(target_freq);
}
